0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Proof Theory – alle Bücher, CDs und LPs

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "proof theory" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:
    Fates Warning: Theories Of Flight (Limited Edition) (Colored Vinyl), LP,LP
    -25%

    Fates Warning
    Theories Of Flight (Limited Edition) (Colored Vinyl)

    Das 2024 erschienene Album der Progressive-Metal-Pioniere Gute Neuigkeiten von den US-amerikanischen Progressive Metalern Fates Warning. 2016 gehen sie mit ihrem mittlerweile zwölften Studioalbum an de…

    lieferbar innerhalb 1-2 Wochen
    EUR 42,99**
    2 LPs
     
    EUR 31,99*
    Artikel ist im Warenkorb
    : Maximus - The Greatest Movie Soundtracks for Piano and Orchestra, CD
    -50%

    Maximus - The Greatest Movie Soundtracks for Piano and Orchestra

    Maksym Rzeminski, Radom Chamber Orchestra, Dawid Runtz

    Artikel am Lager
    EUR 19,99**
    CD
     
    EUR 9,99*
    Artikel ist im Warenkorb
    Dipl. -Math. Felix F. Flemisch: The Strong Sylow Theorem for the Prime p in Simple Locally Finite Groups, Buch

    Dipl. -Math. Felix F. Flemisch
    The Strong Sylow Theorem for the Prime p in Simple Locally Finite Groups

    This research paper continues [15]. We begin with giving a profound overview of the structure of arbitrary simple groups and in particular of the simple locally finite groups and reduce their Sylow theory…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 49,99*
    Artikel ist im Warenkorb
    Fates Warning: Theories Of Flight, CD

    Fates Warning
    Theories Of Flight

    Das 2024 erschienene Album der Progressive-Metal-Pioniere Gute Neuigkeiten von den US-amerikanischen Progressive Metalern Fates Warning. 2016 gehen sie mit ihrem mittlerweile zwölften Studioalbum an de…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    CD
     
    EUR 15,99*
    Artikel ist im Warenkorb
    Bruno Da Ré: Metainferential Logics, Buch

    Bruno Da Ré
    Metainferential Logics

    Trends in Logic -Band 61

    This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 109,51*
    Artikel ist im Warenkorb
    : Unity of Logic and Computation, Buch

    Unity of Logic and Computation

    Lecture Notes in Computer Science -Band 13967

    This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24 28, 2023. The 23 full papers and 1…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 71,19*
    Artikel ist im Warenkorb
    : Automated Reasoning, Buch

    Automated Reasoning

    Lecture Notes in Artificial Intelligence -Band 14739

    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    : Automated Reasoning, Buch

    Automated Reasoning

    Lecture Notes in Artificial Intelligence -Band 14740

    Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : Axiomatic Thinking I, Buch

    Axiomatic Thinking I

    In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 98,56*
    Artikel ist im Warenkorb
    : Axiomatic Thinking II, Buch

    Axiomatic Thinking II

    In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 109,51*
    Artikel ist im Warenkorb
    Antonio Piccolomini d¿Aragona: Prawitz's Epistemic Grounding, Buch

    Antonio Piccolomini d¿Aragona
    Prawitz's Epistemic Grounding

    Synthese Library -Band 469

    This book presents an in-depth and critical reconstruction of Prawitz s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    Artikel ist im Warenkorb
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH